61. Foundations of software science and computation structures :
Author: FOSSACS 2013 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Frank Pfenning (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logics and Meanings of Programs.,Programming Languages, Compilers, Interpreters.,Software engineering.
62. Frontiers of combining systems :
Author: Cesare Tinelli, Viorica Sofronie-Stokkermans (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
Classification :
QA9
.
A1
F76
2011
63. Functional and Constraint Logic Programming
Author: / Herbert Kuchen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
64. Functional and Constraint Logic Programming
Author: / oلJulio Mari
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
65. Functional and Constraint Logic Programming
Author: / Santiago Escobar
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
66. Functional and Logic Programming
Author: / n VidalعMatthias Blume, Naoki Kobayashi, Germ
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
67. Functional and Logic Programming
Author: / Tom Schrijvers, Peter Thiemann
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
68. Functional and Logic Programming
Author: / Michael Codish, Eijiro Sumii
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
69. Functional and constraint logic programming :
Author: Julio Mariño (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming, Congresses,Mathematical Logic and Formal Languages
Classification :
QA76
.
63
.
W45
2011
70. Fundamentals of Algebraic Specification 2 :
Author: by Hartmut Ehrig, Bernd Mahr.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
9
.
L63
B943
1990
71. Guide to discrete mathematics :
Author: Gerard O'Regan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
Classification :
QA76
.
9
.
M35
72. Implementation and application of functional language
Author: / Jurriaan Hage, Marco T. Morazaan (eds
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
Classification :
QA76
.
62
.
I58
2010
73. Implementation and application of functional languages :
Author: Jurriaan Hage, Marco T. Morazán (eds)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming languages, Congresses,Functional programming languages-- Congresses
Classification :
QA76
.
62
.
I58
2010
74. Inductive Logic Programming
Author: / Jesse Davis, Jan Ramon
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
75. Inductive Logic Programming
Author: / Luc Raedt
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
Classification :
E-BOOK
76. Inductive Logic Programming
Author: / Nezhad, Francesca A. Lisi-Stephen H. Muggleton, Alireza Tamaddoni
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
77. Inductive Logic Programming
Author: / tor Santos Costa, Aline PaesکGerson Zaverucha, V
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
78. Inductive Logic Programming
Author: / یeleznئFabrizio Riguzzi, Filip
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
79. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems :
Author: edited by Fevzi Belli, Franz Josef Radermacher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business.,Computer science.,Management science.
Classification :
Q334
.
E358
1992
80. Information Infrastructure Systems for Manufacturing :
Author: edited by Jan Goossenaerts, Fumihiko Kimura, Hans Wortmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Economics.
Classification :
TS155
.
A1
E358
1997
